I had my TJ AWD's wave spring replaced at the same place Spetz had his done, also without the box being removed from the car. Mine was done a few months after his and the price was just under the $1k mark as best I recall.
Like his, the wave spring came out of mine in pieces which the shop were able to jigsaw together and be confident it was complete. If they can't find all the bits they can't be sure whether fragments are still floating around ready to get into the pump or gear sets; the only way to be sure all fragments have been removed is to pull the box out and strip it down...

If some bits have already come out via the sump plug and you've kept them then they can be included in the jigsaw, but otherwise no shop would be able to give any confidence that all the parts have been found.
The guy I dealt with said with the box in the car the replacement required about 5 hours of labour; if the box was already out of the car the replacement would require 2 hours of labour.